let $x$ = $a$ in $b$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\lambda$$x$.$b$($x$))($a$)